logical implication

英 [ˈlɒdʒɪkl ˌɪmplɪˈkeɪʃn]

美 [ˈlɑːdʒɪkl ˌɪmplɪˈkeɪʃn]

网络  逻辑意涵; 逻辑隐含式; 逻辑蕴涵式; 逻辑蕴含; 逻辑蕴涵

英英释义

noun

• a logical relation between propositions p and q of the form `if p then q'
  Synonym:implicationconditional relation

双语例句

• Coding DTD can test the logical implication problem of XML function dependency in linear time.
  编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。
• Due to complicacy of DTD, it is difficult to study the logical implication of XFD.
  由于DTD的复杂性，使得XFD的逻辑蕴涵问题研究比较困难。
• The Logical Implication on Social Construction of the Paris Commune and Its Contemporary Value
  巴黎公社社会建设的逻辑蕴涵与当代价值
• This paper points out that: In natural language fluent, the reasoning type of "ruguo" and "rugu-oshuo" is different: the former emphasizes on the logical reasoning which indicates material implication, and the latter emphasizes on the metaphor reasoning.
  文章提出以下一些观点：自然语流中，如果句式与如果说句式在推理类型上有所侧重，前者重在表示逻辑推理，后者重在表示隐喻推理；
• Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
  实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
• Full implication triple I method improves the traditional CRI algorithm effectively, and brings fuzzy reasoning within the framework of logical semantic implication.
  全蕴涵三I算法有效地改进了经典的CRI算法，并将之纳入到模糊逻辑的框架之中。
• XML function dependency, logical implication are the foundation of the further research on XML key and XML normalization theory.
  XML函数依赖、逻辑蕴涵是进一步研究XML键和XML规范化理论的基础。
• Research on logical implication for XML based on DTD path coding
  基于DTD路径编码的XML逻辑蕴涵问题研究
• Logical implication of set of FDs for XML
  XML函数依赖集的逻辑蕴含
• By using the method of literature and logical analysis, this article analyzes the implication of conductor effect of Olympic economy, basic path and role.
  采用文献综述和逻辑分析的方法，分析了奥运经济的传导效应含义、基本路径、作用等问题。